Applications of Abduction: Testing Very Long Qualitative Simulations
نویسندگان
چکیده
We can test a theory of “X” by checking if that theory can reproduce known behaviour of “X”. In the general case, this check for time-based simulations is only practical for short simulation runs. We show that given certain reasonable language restrictions, then the complexity of this check reduces to the granularity of the measurements. That is, provided a very long simulation run is only measured infrequently, then this check is feasible.
منابع مشابه
Applications of Abduction: Knowledge-Level Modeling
A single inference procedure (abduction) can operationalise a wide variety of knowledge-level modeling problem solving methods; i.e. prediction, classi cation, explanation, tutoring, qualitative reasoning, planning, monitoring, set-covering diagnosis, consistency-based diagnosis, validation, and veri cation. This abductive approach o ers a uniform view of di erent problem solving methods in the...
متن کاملDeveloping new methods to monitor phase II fuzzy linear profiles
In some quality control applications, the quality of a process or a product is described by the relationship between a response variable and one or more explanatory variables, called a profile. Moreover, in most practical applications, the qualitative characteristic of a product/service is vague, uncertain and linguistic and cannot be precisely stated. The purpose of this paper is to propose a ...
متن کاملPdf simulation abduction deduction and induction
In other words, abduction, deduction, and induction work together to explore. In recent years many Monte Carlo simulations have been.induction and abduction reasoning operators, resulting in the proposal that our. Deduction, generalized induction and generalized abduction. Have been implemented and tested within a simulation environment 5.Deduction, Quantitative and Qualitative Induction, Abduc...
متن کاملApplications of Abduction #2: Knowledge-level Modeling
A single inference procedure (abduction) can op-erationalise a wide variety of knowledge-level mod-This abductive approach ooers a uniform view of diierent problem solving methods in the style proposed by Clancey and Brueker. Also, this abductive approach is easily extensible to validation ; i.e. using this technique we can implement both inference tools and testing tools. Further, abduction ca...
متن کاملDevelopment of a new creep testing equipment to obtain long-term deformation parameters of salt rocks
Creep phenomenon in rock engineering plays a key role in development of underground spaces as they must be stable enough for a long period of time. Current research involved designing and manufacturing of a new creep testing machine. The equipment is capable to perform simultaneous light-duty creep tests on more than one cylindrical rock samples at a very low cost.To evaluate the equipment’s pe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IEEE Trans. Knowl. Data Eng.
دوره 14 شماره
صفحات -
تاریخ انتشار 2002